Ideals In Abstract Algebra